- предложение Геделя
- Mathematics: Godel sentence
Универсальный русско-английский словарь. Академик.ру. 2011.
предложение Геделя
Смотреть что такое "предложение Геделя" в других словарях:
Социалистические партии — I Общий обзор. Германия. Франция. Бельгия. Голландия. Швейцария. Австрия и Венгрия. Англия. Италия. Испания и Португалия. Дания, Швеция и Норвегия. Болгария, Сербия и Румыния. Америка. Австралия. Япония. Под этим именем разумеются все те… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
Теоремы Гёделя о неполноте — Теоремы Гёделя о неполноте две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой достаточно сильной[1] теории первого порядка. Первая теорема утверждает, что если формальная… … Википедия
Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1] две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… … Википедия
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки
Германия — I союз государств или союзное государство [Мы не останавливаемся решительно ни на одном из этих терминов (Staatenbund. Bundesstaat), потому что Герм. империя, как будет объяснено ниже не подходит вполне ни под тот, ни под другой] в средней Европе … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
МАТЕМАТИКИ ИСТОРИЯ — Самой древней математической деятельностью был счет. Счет был необходим, чтобы следить за поголовьем скота и вести торговлю. Некоторые первобытные племена подсчитывали количество предметов, сопоставляя им различные части тела, главным образом… … Энциклопедия Кольера
КАРНАП — (Саrnар) Рудольф (1891 1970) аналитический философ и логик, один из лидеров Венского кружка, ведущий представитель логического позитивизма. Приват доцент Венского (1926 1931), проф. Германского (Прага, 1931 1935) ун тов; после эмиграции в США… … Философская энциклопедия
ПАРАДОКС ЛОГИЧЕСКИЙ — положение, которое сначала еще не является очевидным, однако, вопреки ожиданиям, выражает истину. В античной логике парадоксом называли утверждение, многозначность которого относится прежде всего к его правильности или неправильности. В… … Философская энциклопедия
ПАРА НЕПРОТИВОРЕЧИВАЯ — ПАРА НЕПРОТИВОРЕЧИВАЯ логика (греч. тора возле, вне) класс логических исчислений, в которых логический принцип “из противоречия следует все, что угодно”, не имеет места. Термин “паранепротиворечивая логика” введен в 1976 перуанским философом… … Философская энциклопедия
Аборт и психологическая травма — Связь аборта с психическим здоровьем предполагаемое некоторыми учеными влияние сделанного либо сделанных женщиной абортов на её последующее психическое здоровье. Вопрос остро дискуссионный[1][2][3]. Было обнаружено, что аборты у женщин с… … Википедия
